homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Where a simplicial object is a functor out of the opposite category of the simplex category, a cosimplicial object is a functor out of the simplex category itself.
When has finite limits and finite colimits, then is canonically a simplicially enriched category with is tensored and powered over sSet. This is called the external simplicial structure in (Quillen 67, II.1.7). Review includes (Bousfield 03, section 2.10).
More generally, for any , we can make into a simplicially enriched category using the end formula
with composition inherited from and .
Daniel Quillen, Chapter I, Axiomatic homotopy theory in: Homotopical Algebra, Lecture Notes in Mathematics 43, Springer 1967(doi:10.1007/BFb0097438)
Dai Tamaki, Akira Kono, Appendix A in: Generalized Cohomology, Translations of Mathematical Monographs, American Mathematical Society, 2006 (ISBN: 978-0-8218-3514-2)
Aldridge Bousfield, Cosimplicial resolutions and homotopy spectral sequences in model categories (arXiv:0312531)
Last revised on July 14, 2021 at 11:07:20. See the history of this page for a list of all contributions to it.